Dr
Peter Schachte
Senior Lecturer in Software Engineering
School of Computing and Information Systems
Program Verification
Program Analysis
Programming Language Design
Declarative Programming
46 information and computing sciences
computer science
technology
science & technology
computer science, theory & methods